.add-gpg-trusted-key textarea {
	font-family: monospace;
	height: 200px !important;
}